Aspect-Oriented Programming for Reactive Systems: a Proposal in the Synchronous Framework
نویسندگان
چکیده
Aspect-Oriented Programming (AOP) has emerged recently as a language concept for expressing cross-cutting concerns, mainly in object-oriented software. Since then, the concept has been applied to a wide variety of other contexts. In this paper, we explore some cross-cutting concerns for parallel programs of reactive systems: we propose a notion of aspect and a weaving mechanism, in a core language based on parallel communicating Mealy machines.
منابع مشابه
Aspect-oriented programming for reactive systems: Larissa, a proposal in the synchronous framework
Aspect-Oriented Programming (AOP) has emerged recently as a language concept for expressing cross-cutting concerns, mainly in object-oriented software. Since then, the concept has been applied to a wide variety of other contexts. In this paper, we explore some cross-cutting concerns for parallel programs of reactive systems: we propose an aspect language, Larissa, and a weaving mechanism, in a ...
متن کاملModifying Contracts with Larissa Aspects
This paper combines two successful techniques from software engineering, aspect-oriented programming and design-by-contract, and applies them in the context of reactive systems. For the aspect language Larissa and contracts expressed with synchronous observers, we show how to apply an aspect asp to a contract C and derive a new contract C′, such that for any program P which fulfills C, P with a...
متن کاملSpecial issue on foundations of aspect-oriented programming
This SCP special collects articles that make contributions to the foundations of aspectoriented programming (AOP). Aspects have been developed over the last 10 years to facilitate the modularization of crosscutting concerns, i.e., concerns that crosscut with the primary modularization of a program. This special issue further continues the efforts of the annual FOAL workshop (Foundations of Aspe...
متن کامل1 Synchronous Languages for Hardware and Software Reactive Systems
Synchronous languages are dedicated to hardware, software, or mixed reactive systems that maintain a continuous interaction with their environment. They come in two classes: data-oriented languages such as Lustre and Signal, .which are targeted to data-intensive applications such as continuous control or signal processing, and control-oriented languages or visual formalisms such as Esterel, Sta...
متن کاملIncorporating Aspects into the UML
As aspect-oriented programming techniques move into mainstream use, it is likely that more software developers will be modeling systems with aspect-oriented features using the Unified Modeling Language. And with the Object Management Group considering revised standards for UML 2.0, it is an appropriate time to consider UML standards for aspect-oriented elements. This paper considers how aspect-...
متن کامل